Orthogonal complement

Metadata
aliases: []
shorthands: {}
created: 2021-12-03 14:11:25
modified: 2022-01-10 04:13:03

If is any subset of inner product space then we define another subset of by

Then is the orthogonal complement of and is always a closed subset of .